Ett par beriktiganden

Epigram reloaded: a standalone typechecker for ETT

Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...

eTT sucTioning in neonaTes and infanTs

The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...

Présentée par

Processing graphical data, either for its editing or the synthesis of new content, demands agood balance between the different sources of information one may exploit. Unlike "proce-dural" techniques, synthesis by example stands out thanks to its extreme ease-of-use : indeed,tasks such as identification, analysis and reproduction of the distinguishing features of the user-provide...

Présentée Par

ion de prédicats L’abstraction de prédicats peut être utilisée pour améliorer l’analyse d’accessibilité. Elle consiste à analyser la valeur de vérité d’un ensemble de prédicats plutôt que de calculer des ensembles d’état continus [6, 5]. Des techniques de raffinement guidées par les contre-exemples [30] sont une autre application importante de cette approche. Ces techniques ont été utilisées da...

Préseentée par